Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
631	Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog using Maude Huibiao Zhu1 Peng Liu1 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 06:48:22 Mathematical logic Logic in computer science Semantics Grammar Denotational semantics Operational semantics Algebraic semantics Negation Interpretation Programming language semantics Theoretical computer science Logic
632	Complete Completion using Types and Weights Tihomir Gvero Viktor Kuncak Ivan Kuraj ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-07 11:25:49 Programming language theory Proof theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Monad Theoretical computer science Computer science Type theory
633	Development and Evaluation of LAV: an SMT-Based Error Finding Platform? System Description Milena Vujoˇsevi´c-Janiˇci´c1 and Viktor Kuncak2 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-18 09:02:21 Control flow Constraint programming Electronic design automation Logic in computer science Satisfiability Modulo Theories LLVM For loop C Static single assignment form Computing Software engineering Computer programming
634	IN PARTNERSHIP WITH: Université Paris-Sud (Paris 11) Activity ReportProject-Team TOCCATA Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 11:15:16 Automated theorem proving Formal methods Logic in computer science Artificial intelligence Formal verification Coq Proof assistant KeY Automated reasoning Theoretical computer science Mathematics Applied mathematics
635	Collections, Cardinalities, and Relations Kuat Yessenov1⋆ , Ruzica Piskac2 , and Viktor Kuncak2⋆⋆ 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Electronic design automation Logic in computer science NP-complete problems First-order logic Function Interpretation FO Boolean satisfiability problem Mathematics Logic Mathematical logic
636	Type Theory and Univalent Foundation Thierry Coquand (j.w.w. M. Bezem and S. Huber) Royal Society meeting, November 26, 2013 Type Theory and Univalent Foundation Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-11-27 15:43:03 Type theory Dependently typed programming Logic in computer science Proof theory Mathematical constructivism Function Intuitionistic type theory Axiom of choice Constructible universe Mathematical logic Mathematics Logic
637	Linking Hanging Chain Models to Fabrication Axel Kilian, Ph.D. Candidate in Computation, Department of Architecture, School of Architecture and Planning, Massachusetts Institute of Technology, Cambridge, MA Abstract The Add to Reading List Source URL: www.designexplorer.net Language: English - Date: 2006-11-19 20:26:29 Analytic geometry Catenary Curves Exponentials Computational science Tensile structure Logic simulation Computer simulation General relativity Geometry Engineering Science
638	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Functional Synthesis for Linear Arithmetic and Sets Viktor Kuncak, Mika¨ el Mayer, Ruzica Piskac, Philippe Suter? Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-29 17:36:57 Model theory Logic in computer science Constraint programming Predicate logic Semantics Satisfiability Modulo Theories Quantifier elimination First-order logic Function Logic Mathematical logic Mathematics
639	Effective Typestate Verification in the Presence of Aliasing STEPHEN J. FINK and ERAN YAHAV IBM T. J. Watson Research Center and NURIT DOR1 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-01-27 15:57:10 Logic in computer science Formal methods Formal verification Pointer analysis Shape analysis Pointer The Verifier Abstract interpretation IP Theoretical computer science Applied mathematics Static program analysis
640	Awareness and forgetting of facts and agents Hans van Ditmarsch Fac. Philosophy, Dep. Logic University of Sevilla Sevilla, Spain Email: Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:16:22 Modal logic Theoretical computer science Philosophical logic Bisimulation Logic in computer science Epistemic modal logic Common knowledge Partition If and only if Mathematics Logic Mathematical logic

UPDATE